Nuprl Definition : fpf-is-empty
11,40
postcript
pdf
fpf-is-empty(
f
) == (||
f
.1|| =
0)
latex
Definitions
(
i
=
j
)
,
||
as
||
,
t
.1
,
#$n
FDL editor aliases
fpf-is-empty
origin
0) 0) j)